Constructing differential categories and deconstructing categories of games
نویسندگان
چکیده
منابع مشابه
Constructing Differential Categories and Deconstructing Categories of Games
We present an abstract construction for building differential categories useful to model resource sensitive calculi, and we apply it to categories of games. In one instance, we recover a category previously used to give a fully abstract model of a nondeterministic imperative language. The construction exposes the differential structure already present in this model. A second instance correspond...
متن کاملCategories of Coalgebraic Games
We consider a general notion of coalgebraic game, whereby games are viewed as elements of a final coalgebra. This allows for a smooth definition of game operations (e.g. sum, negation, and linear implication) as final morphisms. The notion of coalgebraic game subsumes different notions of games, e.g. possibly non-wellfounded Conway games and games arising in Game Semantics à la [AJM00]. We defi...
متن کاملDifferential categories
Following work of Ehrhard and Regnier, we introduce the notion of a differential category: an additive symmetric monoidal category with a comonad (a " coalgebra modality ") and a differential combinator, satisfying a number of coherence conditions. In such a category, one should imagine the morphisms in the base category as being linear maps and the morphisms in the coKleisli category as being ...
متن کاملCartesian differential categories
This paper revisits the authors’ notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a comonad (a “coalgebra modality”) and a differential combinator. The morphisms of a differential category should be thought of as the linear maps; the differentiable or smooth maps would then be morphisms of the coKleisli categ...
متن کاملDifferential Tannakian categories
We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces over the base field, then it is equivalent to the category of representations of a (pro-)linear differential algebraic group. Our treatment of the problem is v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2013
ISSN: 0890-5401
DOI: 10.1016/j.ic.2012.10.015